Optimal. Leaf size=140 \[ -\frac{2 \text{PolyLog}\left (2,\frac{b (c+d x)}{d (a+b x)}\right ) \log \left (\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b}+\frac{2 \text{PolyLog}\left (3,\frac{b (c+d x)}{d (a+b x)}\right )}{b}-\frac{\log \left (\frac{a d-b c}{d (a+b x)}\right ) \log ^2\left (\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.180268, antiderivative size = 149, normalized size of antiderivative = 1.06, number of steps used = 3, number of rules used = 3, integrand size = 42, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.071, Rules used = {2488, 2506, 6610} \[ -\frac{2 \text{PolyLog}\left (2,\frac{b c-a d}{d (a+b x)}+1\right ) \log \left (\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b}+\frac{2 \text{PolyLog}\left (3,\frac{b c-a d}{d (a+b x)}+1\right )}{b}-\frac{\log \left (-\frac{b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2488
Rule 2506
Rule 6610
Rubi steps
\begin{align*} \int \frac{\log ^2\left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{a+b x} \, dx &=-\frac{\log \left (-\frac{b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}-\frac{(2 (b c-a d)) \int \frac{\log \left (-\frac{b c-a d}{d (a+b x)}\right ) \log \left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{(a+b x) (c+d x)} \, dx}{b}\\ &=-\frac{\log \left (-\frac{b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}-\frac{2 \log \left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text{Li}_2\left (1+\frac{b c-a d}{d (a+b x)}\right )}{b}-\frac{(2 (b c-a d)) \int \frac{\text{Li}_2\left (1+\frac{b c-a d}{d (a+b x)}\right )}{(a+b x) (c+d x)} \, dx}{b}\\ &=-\frac{\log \left (-\frac{b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b}-\frac{2 \log \left (\frac{(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text{Li}_2\left (1+\frac{b c-a d}{d (a+b x)}\right )}{b}+\frac{2 \text{Li}_3\left (1+\frac{b c-a d}{d (a+b x)}\right )}{b}\\ \end{align*}
Mathematica [A] time = 0.0421648, size = 135, normalized size = 0.96 \[ \frac{-2 \text{PolyLog}\left (2,\frac{b (c+d x)}{d (a+b x)}\right ) \log \left (\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )+2 \text{PolyLog}\left (3,\frac{b (c+d x)}{d (a+b x)}\right )-\log \left (\frac{a d-b c}{d (a+b x)}\right ) \log ^2\left (\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.065, size = 879, normalized size = 6.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{\log \left (d x + c\right )^{3}}{a} - \int -\frac{{\left (\log \left (-b e + a f\right )^{2} - 2 \, \log \left (-b e + a f\right ) \log \left (-d e + c f\right ) + \log \left (-d e + c f\right )^{2}\right )} b d x +{\left (\log \left (-b e + a f\right )^{2} - 2 \, \log \left (-b e + a f\right ) \log \left (-d e + c f\right ) + \log \left (-d e + c f\right )^{2}\right )} b c +{\left (b d x + b c\right )} \log \left (b x + a\right )^{2} - 2 \,{\left (b d x{\left (\log \left (-b e + a f\right ) - \log \left (-d e + c f\right )\right )} + b c{\left (\log \left (-b e + a f\right ) - \log \left (-d e + c f\right )\right )}\right )} \log \left (b x + a\right ) + 2 \,{\left (b d x{\left (\log \left (-b e + a f\right ) - \log \left (-d e + c f\right )\right )} + b c{\left (\log \left (-b e + a f\right ) - \log \left (-d e + c f\right )\right )} -{\left (2 \, b d x + b c + a d\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )}{b^{2} d x^{2} + a b c +{\left (b^{2} c + a b d\right )} x}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left (\frac{b c e - a c f +{\left (b d e - a d f\right )} x}{a d e - a c f +{\left (b d e - b c f\right )} x}\right )^{2}}{b x + a}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (\frac{{\left (b e - a f\right )}{\left (d x + c\right )}}{{\left (d e - c f\right )}{\left (b x + a\right )}}\right )^{2}}{b x + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]